На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
математика
логический эмпиризм
общая лексика
протокольное предложение
математика
основное высказывание
['sɔftweə]
общая лексика
SW
программное обеспечение, ПО
общее понятие, описывающее программы для компьютеров в отличие от его аппаратных составляющих (hardware). При этом не уточняется, в каком виде представлены программы (в исходных текстах или в исполняемом коде). ПО делится на два больших класса - системное (system software) и прикладное ПО (application programs). К системному относится любое ПО, необходимое для разработки и исполнения программ, такое как операционные системы (operating system), компиляторы (compiler), отладчики и т.д. Примером прикладных программ могут служить программы бухгалтерского учета, обучающие программы, компьютерные игры, САПР и т.д. Программы, хранящиеся в энергонезависимой памяти (ПЗУ, ППЗУ), обычно называются firmware. По способу распространения ПО делится на бесплатное (freeware), условно-бесплатное (shareware) и коммерческое. Кроме того, ПО можно разделить на массовое, коробочное и заказное. Термин software впервые появился в 1958 г. в American Mathematical Monthly в статье математика из Принстонского университета Джона Туки (John Tukey)
программное обеспечение ЭВМ
программный
разговорное выражение
софт
вычислительная техника
матобеспечение
нефтегазовая промышленность
программное обеспечение
существительное
общая лексика
компьютерные программы
вычислительная техника
программное или математическое обеспечение
программные средства
A logical graph is a special type of diagrammatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.
In his papers on qualitative logic, entitative graphs, and existential graphs, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures.